Discrete time finite servers - finite capacity model